Interface Suites as Contracts. Composition of Contracts in UML
نویسندگان
چکیده
We present a tool for composition of component specifications. The tool uses UML diagrams to model the composition. A fixed component specification is a contract between some roles communicating via interfaces. A contract has a specific underlying model that we present. Composition of contracts is a contract that extends contracts of composites, but does not change them. To guarantee this feature we built some rules of the composition into our tool. Our tool is an ADD-IN of the Rational Rose that allows to produce consistent interface suite specifications in form of UML diagrams and documentation and to reuse such specifications in system design by composition.
منابع مشابه
Contracts for Multi-instance UML Activities
We present a novel way of encapsulating UML activities using interface contracts, which allows to verify functional properties that depend on the synchronization of parallel instances of software components. Encapsulated UML activities can be reused together with their verification results in SPACE, a model-driven engineering method for reactive systems. Such compositional verification signific...
متن کاملModeling ODP Computational Specifications Using UML
The open distributed processing (ODP) computational viewpoint describes the functionality of a system and its environment in terms of a configuration of objects interacting at interfaces, independently of their distribution. Quality of service (QoS) contracts and service level agreements are an integral part of any computational specification, which are specified in ODP in terms of environment ...
متن کاملIntegrating verifiable Assume/Guarantee contracts in UML/SysML
The compositional approach based on components and driven by requirements is a common method used in the development of critical realtime embedded systems. Since the satisfaction of a requirement is subject to the composition of several components, defining abstract and partial behaviors for components with respect to the point of view of the requirement allows for a manageable design of system...
متن کاملComponent Composition with Parametric Contracts
We discuss compositionality in terms of (a) component interoperability and contractual use of components, (b) component adaptation and (c) prediction of properties of composite components. In particular, we present parametric component contracts as a framework treating the above mentioned facets of compositionality in a unified way. Parametric contracts compute component interfaces in dependenc...
متن کاملAttaching Behavioral Contracts to Binary Components for Supporting Reliable Reuse*
Component contract, as an interface specification, is a good idea for improving software quality. This paper describes the technique of dynamically attaching behavioral contracts a posteriori to binary component with no explicit contracts discipline, and presents a model based on the Common Language Infrastructure (CLI) to organize component contracts in the form of metadata and to perform effi...
متن کامل